(define (+ x y) (builtin + x y))
(define (= x y) (builtin = x y))
(define (> x y) (builtin > x y))
(define (< x y) (builtin < x y))
(define (>= x y) (builtin >= x y))
(define (<= x y) (builtin <= x y))
(define (- x y) (builtin - x y))
(define (* x y) (builtin * x y))
(define (/ x y) (builtin / x y))
(define (modulo x y) (builtin modulo x y))
